Checking and Enforcing Security through Opacity in Healthcare Applications

The Internet of Things (IoT) is a paradigm that can tremendously revolutionize health care thus benefiting both hospitals, doctors and patients. In this context, protecting the IoT in health care against interference, including service attacks and malwares, is challenging. Opacity is a confidentiality property capturing a system's ability to keep a subset of its behavior hidden from passive observers. In this work, we seek to introduce an IoT-based heart attack detection system, that could be life-saving for patients without risking their need for privacy through the verification and enforcement of opacity. Our main contributions are the use of a tool to verify opacity in three of its forms, so as to detect privacy leaks in our system. Furthermore, we develop an efficient, Symbolic Observation Graph (SOG)-based algorithm for enforcing opacity

Intrinsic brainstem circuits comprised of Chx10-expressing neurons contribute to reticulospinal output in mice

Glutamatergic reticulospinal neurons in the gigantocellular reticular nucleus (GRN) of the medullary reticular formation can function as command neurons, transmitting motor commands to spinal cord circuits to instruct movement. Recent advances in our understanding of this neuron-dense region have been facilitated by the discovery of expression of the transcriptional regulator, Chx10, in excitatory reticulospinal neurons. Here, we address the capacity of local circuitry in the GRN to contribute to reticulospinal output. We define two sub-populations of Chx10-expressing neurons in this region, based on distinct electrophysiological properties and somata size (small and large), and show that these populations correspond to local interneurons and reticulospinal neurons, respectively. Using focal release of caged glutamate combined with patch clamp recordings, we demonstrated that Chx10 neurons form microcircuits in which the Chx10 local interneurons project to and facilitate the firing of Chx10 reticulospinal neurons. We discuss the implications of these microcircuits in terms of movement selection

Applications of the direct space vector modulation controlled matrix converter as the unified power flow controller

© 2016, Institution of Engineering and Technology. All rights reserved. This paper investigates the matrix converter when working as the unified power flow controller which can regulate the active reactive power flowing in a transmission line. A conventional unified power flow controller usually has a DC capacitor; this is removed in the proposed controller. This reduces the volume, improves the efficiency and lifetime, and eliminates the DC voltage control. The detailed direct space vector modulation method for the matrix converter is described. Based on this modulation scheme, a PID controller is designed in order to control the power flow. Coupling effects are suppressed by feedback of the coupling components to the controller. The proposed strategy can control the active and reactive power efficiently and effectively. Simulations based on MATLAB/Simulink help verify the feasibility and effectiveness of the scheme

An improved wavelet analysis method for detecting DDoS attacks

Wavelet Analysis method is considered as one of the most efficient methods for detecting DDoS attacks. However, during the peak data communication hours with a large amount of data transactions, this method is required to collect too many samples that will greatly increase the computational complexity. Therefore, the real-time response time as well as the accuracy of attack detection becomes very low. To address the above problem, we propose a new DDoS detection method called Modified Wavelet Analysis method which is based on the existing Isomap algorithm and wavelet analysis. In the paper, we present our new model and algorithm for detecting DDoS attacks and demonstrate the reasons of why we enlarge the Hurst's value of the self-similarity in our new approach. Finally we present an experimental evaluation to demonstrate that the proposed method is more efficient than the other traditional methods based on wavelet analysis. © 2010 IEEE

The behavior of two-way reinfoced concrete slabs externally strengthened with steel plate to subject patch load

2001-2002 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe

Stimulation of artemisinin biosynthesis in Artemisia annua hairy roots by oligogalacturonides

The different fractions of oligogalacturonides (OGA) from polygalacturonic acid by pectinase hydrolysate have been partially purified using column chromatography of Sephadex G-10. The isolated fraction OGA2 (degree of polymerization, DP = 4.57) was found to stimulate the accumulation ofartemisinin in Artemisia annua hairy roots. When hairy roots of 16-day old cultures were exposed to the OGA elicitor (60 g/mL) for 4 days, the maximum production of artemisinin reached 11.3 mg/L, a 55.2% increase over the control. OGA could induce H2O2 production in hairy root culture as one of early defense events. Moreover, the OGA-induced reactive oxygen species (ROS) were involved in stimulating the artemisinin biosynthesis in the hairy roots. This is the first report on the stimulation of artemisinin production in hairy roots by an oligogalacturonide elicitor

Lattice topological edge and corner modes of photonic crystal slabs

Surface lattice modes, generated by the evanescent coupling between localized modes of optical resonators arranged in a two-dimensional (2D) array, generally exhibit remarkable optical response beyond the single photonic particle. Here, by employing the lattice mode concept, we demonstrate that lattice topological edge and corner modes can be achieved in properly designed photonic crystal (PhC) slabs. Such slabs consist of an array of finite-sized second-order topological insulators mimicking the 2D Su-Schrieffer-Heeger model. The proposed lattice edge and corner modes emerge within the topological band gap of the PhC slab, which dictates their topological nature. In particular, the band diagram of the lattice corner modes shows that they possess non-degenerate eigenfrequencies and dispersive bands. In addition, we show that the eigenfrequency of the lattice topological modes can be shifted by tuning the intercell and/or intracell optical coupling. Finally, by finely tuning the geometric parameters of the slab, we realize a lattice corner mode possessing flatband dispersion characteristics. Our study can find applications to topological lasing, nonlinearity enhancement, and slow-light effects in topological photonic systems

Judgement and supply chain dynamics

Forecasting demand at the individual stock-keeping-unit (SKU) level often necessitates the use of statistical methods, such as exponential smoothing. In some organizations, however, statistical forecasts will be subject to judgemental adjustments by managers. Although a number of empirical and ‘laboratory’ studies have been performed in this area, no formal OR modelling has been conducted to offer insights into the impact such adjustments may have on supply chain performance and the potential development of mitigation mechanisms. This is because of the associated dynamic complexity and the situation-specific nature of the problem at hand. In conjunction with appropriate stock control rules, demand forecasts help decide how much to order. It is a common practice that replenishment orders may also be subject to judgemental intervention, adding further to the dynamic system complexity and interdependence. The system dynamics (SD) modelling method can help advance knowledge in this area, where mathematical modelling cannot accommodate the associated complexity. This study, which constitutes part of a UK government funded (EPSRC) project, uses SD models to evaluate the effects of forecasting and ordering adjustments for a wide set of scenarios involving: three different inventory policies; seven different (combinations of) points of intervention; and four different (combinations of) types of judgmental intervention (optimistic and pessimistic). The results enable insights to be gained into the performance of the entire supply chain. An agenda for further research concludes the paper

Advancements in the co-formulation of biologic therapeutics

Biologic therapeutics are the medicines of the future and are destined to transform the approaches by which the causes and symptoms of diseases are cured and alleviated. These approaches will be accelerated through the development of novel strategies that target multiple pharmacologically active sites using a combination of different biologics, or mixtures of biologics and small molecule therapeutics. However, for this potential to be realised, advancements in co-formulation strategies for biologic therapeutics must be established. This review describes the current and emerging developments within this field and highlights the challenges and potential solutions, that will pave-the-way towards their clinical translation